Several problems that pertain to certain arithmetically well-behaved countable subsemirings of Λ, the semiring of isols, are discussed. This is relevant to the present volume memorializing the late John Myhill, in that Myhill was an early co-developer of the theory of Λ.

Hirschfeld and Wheeler proved in 1975 that ∑1 ultrapowers (= “simple models”) are rigid; i.e., they admit no non-trivial automorphisms. We later noted, essentially mimicking their technique, that the same is true of Δ1 ultrapowers (= “Nerode semirings”), a class of models of Π2 Arithmetic that overlaps, but is mutually non-inclusive with, the class of Σ1 ultrapowers. Hirschfeld and Wheeler left as open the question whether some Σ1 ultrapowers might admit proper isomorphic self-injections. We do not answer that question; but (...) we do answer the corresponding question, in the negative, for the Δ1 case. (shrink)